|
:''This page gives a general overview of the concept of non-measurable sets. For a precise definition of measure, see Measure (mathematics). For various constructions of non-measurable sets, see Vitali set, Hausdorff paradox, and Banach–Tarski paradox''. In mathematics, a non-measurable set is a set which cannot be assigned a meaningful "size". The mathematical existence of such sets is construed to shed light on the notions of length, area and volume in formal set theory. The notion of a non-measurable set has been a source of great controversy since its introduction. Historically, this led Borel and Kolmogorov to formulate probability theory on sets which are constrained to be measurable. The measurable sets on the line are iterated countable unions and intersections of intervals (called Borel sets) plus-minus null sets. These sets are rich enough to include every conceivable definition of a set that arises in standard mathematics, but they require a lot of formalism to prove that sets are measurable. In 1970, Solovay constructed Solovay's model, which shows that it is consistent with standard set theory, excluding uncountable choice, that all subsets of the reals are measurable. == Historical constructions == The first indication that there might be a problem in defining length for an arbitrary set came from Vitali's theorem.〔 Moore, Gregory H., Zermelo's Axiom of Choice, Springer-Verlag, 1982, pp. 100-101 〕 When you form the union of two disjoint sets, one would expect the measure of the result to be the sum of the measure of the two sets. A measure with this natural property is called ''finitely additive''. While a finitely additive measure is sufficient for most intuition of area, and is analogous to Riemann integration, it is considered insufficient for probability, because conventional modern treatments of sequences of events or random variables demand countable additivity. In this respect, the plane is similar to the line; there is a finitely additive measure, extending Lebesgue measure, which is invariant under all isometries. When you increase in dimension the picture gets worse. The Hausdorff paradox and Banach–Tarski paradox show that you can take a three-dimensional ball of radius 1, dissect it into 5 parts, move and rotate the parts and get two balls of radius 1. Obviously this construction has no meaning in the physical world. In 1989, A. K. Dewdney published a letter from his friend Arlo Lipof in the Computer Recreations column of the ''Scientific American'' where he describes an underground operation "in a South American country" of doubling gold balls using the Banach–Tarski paradox.〔Dewdney (1989)〕 Naturally, this was in the April issue, and "Arlo Lipof" is an anagram of "April Fool". 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Non-measurable set」の詳細全文を読む スポンサード リンク
|